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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - connectsEngineeringComponents
connectsEngineeringComponents

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4056-4060
No TPTP formula. May not be expressible in strict first order. Merge.kif 15893-15899
No TPTP formula. May not be expressible in strict first order. Merge.kif 15890-15890 The number 1 argument of connects engineering components is an instance of engineering connection
No TPTP formula. May not be expressible in strict first order. Merge.kif 15891-15891 The number 2 argument of connects engineering components is an instance of engineering component
No TPTP formula. May not be expressible in strict first order. Merge.kif 15892-15892 The number 3 argument of connects engineering components is an instance of engineering component
No TPTP formula. May not be expressible in strict first order. Merge.kif 15889-15889 connects engineering components is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 15888-15888 connects engineering components is a subrelation of connects

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 543-543
No TPTP formula. May not be expressible in strict first order. english_format.kif 548-548
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 544-544
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16659-16659
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16658-16658
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16657-16657

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1370-1374
No TPTP formula. May not be expressible in strict first order. Merge.kif 15883-15886

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15878-15881
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25368-25377
No TPTP formula. May not be expressible in strict first order. Merge.kif 15866-15869
No TPTP formula. May not be expressible in strict first order. Communications.kif 78-87
No TPTP formula. May not be expressible in strict first order. Communications.kif 95-107
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25310-25318
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1356-1363
No TPTP formula. May not be expressible in strict first order. Communications.kif 64-71


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