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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - occupiesPosition
occupiesPosition

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3852-3854
No TPTP formula. May not be expressible in strict first order. Merge.kif 16116-16119
No TPTP formula. May not be expressible in strict first order. Merge.kif 16113-16113 The number 1 argument of occupies position is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 16114-16114 The number 2 argument of occupies position is an instance of position
No TPTP formula. May not be expressible in strict first order. Merge.kif 16115-16115 The number 3 argument of occupies position is an instance of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16112-16112 occupies position is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 551-551
No TPTP formula. May not be expressible in strict first order. english_format.kif 559-559
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 552-552
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41611-41611
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41610-41610
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41609-41609

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16430-16438
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16444-16455
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16461-16472
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16478-16489
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18736-18742
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16664-16668
No TPTP formula. May not be expressible in strict first order. Government.kif 4474-4482
No TPTP formula. May not be expressible in strict first order. Government.kif 2282-2290
No TPTP formula. May not be expressible in strict first order. Government.kif 1332-1336
No TPTP formula. May not be expressible in strict first order. Government.kif 1442-1448
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3593-3598
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16702-16706
No TPTP formula. May not be expressible in strict first order. Government.kif 1433-1439
No TPTP formula. May not be expressible in strict first order. Government.kif 1473-1480
No TPTP formula. May not be expressible in strict first order. Government.kif 1464-1471
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18576-18580
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16691-16695
No TPTP formula. May not be expressible in strict first order. Government.kif 2268-2272
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20671-20679
No TPTP formula. May not be expressible in strict first order. Government.kif 4822-4826
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18613-18622
No TPTP formula. May not be expressible in strict first order. Merge.kif 16121-16123
No TPTP formula. May not be expressible in strict first order. People.kif 1292-1294
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18728-18730
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18720-18726

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1836-1840
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-171
No TPTP formula. May not be expressible in strict first order. Government.kif 4433-4441
No TPTP formula. May not be expressible in strict first order. Government.kif 4443-4447
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1427-1440
No TPTP formula. May not be expressible in strict first order. Government.kif 1792-1798
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14531-14544
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20671-20679
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 148-151
No TPTP formula. May not be expressible in strict first order. Government.kif 1548-1550
No TPTP formula. May not be expressible in strict first order. Government.kif 1552-1554
No TPTP formula. May not be expressible in strict first order. Merge.kif 16125-16128
No TPTP formula. May not be expressible in strict first order. Government.kif 1601-1603
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18613-18622
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7349-7353
No TPTP formula. May not be expressible in strict first order. Law.kif 245-248
No TPTP formula. May not be expressible in strict first order. Law.kif 168-171
No TPTP formula. May not be expressible in strict first order. Law.kif 173-179
No TPTP formula. May not be expressible in strict first order. Law.kif 124-127
No TPTP formula. May not be expressible in strict first order. Law.kif 129-135


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