| appearance as argument number 1 |
|
| (documentation numberOfAprons EnglishLanguage "(numberOfRunways ?AA ?N) means that Airport ?AA has Integer ?N number of Aprons.") | Transportation.kif 1293-1294 | |
| (domain numberOfAprons 1 Airport) | Transportation.kif 1295-1295 | The number 1 argument of number of aprons is an instance of airport |
| (domain numberOfAprons 2 Integer) | Transportation.kif 1296-1296 | The number 2 argument of number of aprons is an instance of integer |
| (instance numberOfAprons BinaryPredicate) | Transportation.kif 1292-1292 | number of aprons is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage numberOfAprons "%1 has %2 Aprons") | domainEnglishFormat.kif 3990-3990 | |
| (relatedInternalConcept numberOfRunways numberOfAprons) | Transportation.kif 1440-1440 | number of runways is internally related to number of aprons |
| (relatedInternalConcept numberOfTaxiways numberOfAprons) | Transportation.kif 1456-1456 | number of taxiways is internally related to number of aprons |
| (termFormat EnglishLanguage numberOfAprons "number of aprons") | domainEnglishFormat.kif 10414-10414 | number of taxiways is internally related to number of aprons |
| antecedent |
|
|
| (=> (numberOfAprons ?AA ?N) (exists (?A ?COLL) (and (instance ?A AirportApron) (part ?A ?AA) (member ?A ?COLL) (memberCount ?COLL ?N)))) |
Transportation.kif 1298-1305 |
|
|
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