Formalization of Natural Language Into Logic Using Cyc NL


	  Formalize, Calculate the amount of energy of driving car versus using computer.
	  Calculate#v#1 the amount#n#3 of energy#n#1 of driving#n#2 car#n#1 versus use#v#1 computer#n#1

	  Calculate#v#1
	  the
	  amount#n#3
	  of
	  energy#n#1		N10712950		#$EnergyQuantity
	  of
	  driving#n#2
	  car#n#1		N02853224		#$Automobile
	  versus
	  use#v#1		V01123102		#$UsingAnObject
	  computer#n#1		N02971359		#$Computer
	
Much work remains on this project but it is actually easy work. You need to put in an entity recognizer which recognizes noun phrases to their objects, etc. Then you need a semantic search which uses supposition to understand the text, as detailed in thinker/notes.