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 子计划 的 1 数量 是 计划 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4659-4659 子计划 的 2 数量 是 计划 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4656-4656 子计划 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4657-4657 子计划 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4655-4655 子计划 是 传递关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4654-4654 子计划 是 子命题 的 subrelation

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

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