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

Formal Language: 



KB Term:  Term intersection
English Word: 

  occupiesPosition

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 17026-17029
No TPTP formula. May not be expressible in strict first order. Merge.kif 17023-17023 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 17024-17024 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 17025-17025 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 17022-17022 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 556-556
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 41605-41605
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41604-41604
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41603-41603

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18103-18112
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18118-18128
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18134-18144
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18150-18160
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20365-20371
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18281-18285
No TPTP formula. May not be expressible in strict first order. Government.kif 4503-4511
No TPTP formula. May not be expressible in strict first order. Government.kif 2306-2314
No TPTP formula. May not be expressible in strict first order. Government.kif 1343-1347
No TPTP formula. May not be expressible in strict first order. Government.kif 1453-1459
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3656-3661
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18319-18323
No TPTP formula. May not be expressible in strict first order. Government.kif 1444-1450
No TPTP formula. May not be expressible in strict first order. Government.kif 1484-1491
No TPTP formula. May not be expressible in strict first order. Government.kif 1475-1482
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20220-20224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18308-18312
No TPTP formula. May not be expressible in strict first order. Government.kif 2292-2296
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22199-22207
No TPTP formula. May not be expressible in strict first order. Government.kif 4851-4855
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20252-20261
No TPTP formula. May not be expressible in strict first order. Merge.kif 17031-17033
No TPTP formula. May not be expressible in strict first order. People.kif 1300-1302
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20357-20359
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20349-20355

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 1847-1851
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 4462-4470
No TPTP formula. May not be expressible in strict first order. Government.kif 4472-4476
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1003-1016
No TPTP formula. May not be expressible in strict first order. Government.kif 1803-1809
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16391-16404
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22199-22207
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 1559-1561
No TPTP formula. May not be expressible in strict first order. Government.kif 1563-1565
No TPTP formula. May not be expressible in strict first order. Merge.kif 17035-17038
No TPTP formula. May not be expressible in strict first order. Government.kif 1612-1614
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20252-20261
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7351-7355
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 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