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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TerminalGuidance

 Sigma KEE - TerminalGuidance
TerminalGuidance(终端指导)

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 504-516
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 501-501 终端指导 是 分类 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 500-500 终端指导 是 直接行动活动 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 503-503 终端指导 是 定位 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 502-502 终端指导 是 陈述 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57548-57548
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57547-57547
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57546-57546

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 535-547
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 521-531


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