Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Evacuation
Evacuation(evacuation)
more pictures...
evacuate, evacuation

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2457-2464
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11003-11003 "http://upload.wikimedia.org/wikipedia/commons/4/47/ Evacuation_route_sign3.jpg" is a URL depicting evacuation
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11004-11004 "http://upload.wikimedia.org/wikipedia/commons/a/a7/ I-45_%26_Louetta_Rita_Evacuation.jpg" is a URL depicting evacuation
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11005-11005 "http://upload.wikimedia.org/wikipedia/commons/c/c9/ Volcano_evacuation_route_sign.jpg" is a URL depicting evacuation
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11006-11006 "http://upload.wikimedia.org/wikipedia/commons/c/cb/ Hurricane_Route_sign_Tulane_Avenue_floodlines.jpg" is a URL depicting evacuation
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11007-11007 "http://upload.wikimedia.org/wikipedia/commons/d/d0/ MetairieCauseway_08_31_2005.jpg" is a URL depicting evacuation
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10027-10027 "http://upload.wikimedia.org/wikipedia/en/0/03/Exit_sign.jpg" is a URL depicting evacuation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2456-2456 Evacuation is a subclass of intentional process

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4191-4191 "evacuation" is the printable form of evacuation in english language

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2576-2590
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2594-2610
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2509-2513
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 133-140
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2501-2505
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2558-2572
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2540-2554
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2521-2536
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2483-2497
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2468-2478

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 120-131


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners