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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of sub plan is an instance of plan
No TPTP formula. May not be expressible in strict first order. Merge.kif 4659-4659 The number 2 argument of sub plan is an instance of plan
No TPTP formula. May not be expressible in strict first order. Merge.kif 4656-4656 sub plan is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4657-4657 sub plan is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4655-4655 sub plan is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4654-4654 sub plan is a subrelation of sub proposition

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 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 3.0 is open source software produced by Articulate Software and its partners