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

Formal Language: 



KB Term:  Term intersection
English Word: 

  numberOccupant

 Sigma KEE - numberOccupant
numberOccupant

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2854-2856
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2858-2858 numberOccupant 的 1 数量 是 HotelReservation 的 instance
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2859-2859 numberOccupant 的 2 数量 是 整数 的 instance
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2853-2853 numberOccupant 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3990-3990
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3989-3989
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3988-3988
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2875-2875 numberAdultOccupant 是 numberOccupant 的 subrelation
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2894-2894 numberChildOccupant 是 numberOccupant 的 subrelation
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2916-2916 numberSeniorOccupant 是 numberOccupant 的 subrelation
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2857-2857

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2864-2873


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