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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subPlan

 Sigma KEE - subPlan
subPlan

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2206-2208
No TPTP formula. May not be expressible in strict first order. Merge.kif 4661-4664
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 870-872
No TPTP formula. May not be expressible in strict first order. Merge.kif 4658-4658 Le nombre 1 argument de subPlan est une instance de plan
No TPTP formula. May not be expressible in strict first order. Merge.kif 4659-4659 Le nombre 2 argument de subPlan est une instance de plan
No TPTP formula. May not be expressible in strict first order. Merge.kif 4656-4656 subPlan est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order. Merge.kif 4657-4657 subPlan est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order. Merge.kif 4655-4655 subPlan est une instance de relation transitive
No TPTP formula. May not be expressible in strict first order. Merge.kif 4654-4654 subPlan est une sous-relation de subProposition

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 237-237
No TPTP formula. May not be expressible in strict first order. english_format.kif 238-238
No TPTP formula. May not be expressible in strict first order. french_format.kif 136-136
No TPTP formula. May not be expressible in strict first order. relations-it.txt 276-276
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1967-1967
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 88-88
No TPTP formula. May not be expressible in strict first order. relations-de.txt 305-305
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 313-313
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 155-155
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 141-141
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 468-468
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 238-238
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55769-55769
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55768-55768
No TPTP formula. May not be expressible in strict first order. terms-de.txt 98-98

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16617-16625


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners