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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - links
links

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2347-2348
No TPTP formula. May not be expressible in strict first order. Merge.kif 5877-5878
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1022-1023
No TPTP formula. May not be expressible in strict first order. Merge.kif 5873-5873 The number 1 argument of links is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5874-5874 The number 2 argument of links is an instance of graph node
No TPTP formula. May not be expressible in strict first order. Merge.kif 5875-5875 The number 3 argument of links is an instance of graph arc
No TPTP formula. May not be expressible in strict first order. Merge.kif 5872-5872 links 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 747-747
No TPTP formula. May not be expressible in strict first order. english_format.kif 749-749
No TPTP formula. May not be expressible in strict first order. french_format.kif 451-451
No TPTP formula. May not be expressible in strict first order. relations-it.txt 165-165
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2159-2159
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 403-403
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 464-464
No TPTP formula. May not be expressible in strict first order. relations-de.txt 963-963
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 204-204
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 473-473
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 516-516
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 329-329
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 748-748
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34559-34559
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34558-34558
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34557-34557
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 330-330

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5790-5799
No TPTP formula. May not be expressible in strict first order. Merge.kif 5862-5864
No TPTP formula. May not be expressible in strict first order. Merge.kif 5880-5882

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2870-2876
No TPTP formula. May not be expressible in strict first order. Merge.kif 5630-5650
No TPTP formula. May not be expressible in strict first order. Merge.kif 5847-5850
No TPTP formula. May not be expressible in strict first order. Merge.kif 5652-5666
No TPTP formula. May not be expressible in strict first order. Merge.kif 5777-5788
No TPTP formula. May not be expressible in strict first order. Merge.kif 5857-5860
No TPTP formula. May not be expressible in strict first order. Merge.kif 5837-5840
No TPTP formula. May not be expressible in strict first order. Merge.kif 5880-5882


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