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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - sententialSubject
sententialSubject

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 724-726
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 727-727 The number 1 argument of sentential subject is an instance of noun phrase
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 728-728 The number 2 argument of sentential subject is an instance of sentence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 729-729 sentential subject is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 730-730 sentential subject is a subrelation of grammatical relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4498-4498
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4497-4497
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4496-4496
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52131-52131
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52130-52130
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52129-52129


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