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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MotorizedRailwayCar

 Sigma KEE - ForeignServicePosition
ForeignServicePosition(外國服務職位)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4396-4398
No TPTP formula. May not be expressible in strict first order. Government.kif 4394-4394 子類 外國服務職位 and Position

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4412-4412 例 大使 and 外國服務職位
No TPTP formula. May not be expressible in strict first order. Government.kif 4432-4432 例 chargeD 業務 and 外國服務職位
No TPTP formula. May not be expressible in strict first order. Government.kif 4426-4426 例 領事 and 外國服務職位
No TPTP formula. May not be expressible in strict first order. Government.kif 4419-4419 例 總領事 and 外國服務職位
No TPTP formula. May not be expressible in strict first order. Government.kif 4400-4400 例 外交代表 and 外國服務職位
No TPTP formula. May not be expressible in strict first order. Government.kif 4441-4441 例 主要官員 and 外國服務職位
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24662-24662
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24661-24661
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24660-24660

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4408-4410

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4557-4563
No TPTP formula. May not be expressible in strict first order. Government.kif 4565-4571


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