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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Machine

 Sigma KEE - authors
authors

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3561-3562
No TPTP formula. May not be expressible in strict first order. Merge.kif 15506-15509
No TPTP formula. May not be expressible in strict first order. Merge.kif 15502-15502 Le nombre 1 argument de authors est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15503-15503 Le nombre 2 argument de authors est une sous-classe de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order. Merge.kif 15501-15501 authors est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. Merge.kif 15500-15500 authors est une instance de pr�dicat binaire

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 531-531
No TPTP formula. May not be expressible in strict first order. english_format.kif 536-536
No TPTP formula. May not be expressible in strict first order. french_format.kif 313-313
No TPTP formula. May not be expressible in strict first order. relations-it.txt 30-30
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2081-2081
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 265-265
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 64-64
No TPTP formula. May not be expressible in strict first order. relations-de.txt 692-692
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 74-74
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 334-334
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 345-345
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 76-76
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 532-532
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9161-9161
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9160-9160
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 77-77

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15446-15453
No TPTP formula. May not be expressible in strict first order. Merge.kif 15477-15486
No TPTP formula. May not be expressible in strict first order. Government.kif 2288-2293
No TPTP formula. May not be expressible in strict first order. Government.kif 2295-2302
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 940-949
No TPTP formula. May not be expressible in strict first order. Merge.kif 15512-15518

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 730-740
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21116-21128
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21093-21107


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